On the Underlying Lower Order Bundle Functors
نویسندگان
چکیده
منابع مشابه
Product Preserving Bundle Functors on Multifibered and Multifoliate Manifolds
We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds. 2000 Mathematics Subject Classificatio...
متن کاملOn the Smoothness of Functors
In this paper we will try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should has.
متن کاملPartial First-order Logic with Approximative Functors Based on Properties
In the present paper a logically exact way is presented in order to define approximative functors on object level in the partial first–order logic relying on approximation spaces. By the help of defined approximative functors one can determine what kind of approximations has to be taken into consideration in the evaluating process of a formula. The representations of concepts (properties) of ou...
متن کاملAn Implementation of Higher-order Functors
Recently the module language of SML of New Jersey has been augmented with higher-order functors. Their semantics is described in Tof94, MT94]. This paper sketches how higher-order functors can be implemented with eecient static representations. The key idea of the SML/NJ implementation is the sharing of signature environments , and this idea has been carried over to the higher-order case.
متن کاملA Semantics for Higher-Order Functors
Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2005
ISSN: 0011-4642,1572-9141
DOI: 10.1007/s10587-005-0074-1